Concerning a non-metrical pseudo-archimedean axiom
نویسندگان
چکیده
منابع مشابه
A note on pseudo-Archimedean and non-cancellative t-norm
In this paper, we shall give examples to answer that an open problem posed by De Baets et al. in “Triangular norms on product lattices (Fuzzy Sets and Systems 104(1999), 61-75)”.
متن کاملOn Axiom Systems of Pseudo-BCK Algebras
A symplified axiomatization of pseudo-BCK algebras is given. In addition, we obtain a system of axioms defining bounded commutative pseudoBCK algebras and show that these axioms are independent (that is, none follows from the others). 2010 Mathematics Subject Classification: 03G25, 06F05, 06F35
متن کاملA Conservation Result concerning Bounded Theofues and the Collection Axiom
We present two proofs, one proof-theoretic and one model-theoretic, showing that 0 adding the BE1-collection axioms to any bounded first-order theory R of arithmetic 0 yields an extension which is VC1-conservative over R. Preliminaries. A theory of arithmetic R contains the non-logic symbols 0, S, +, = , and 6 . R may contain further non-logical symbols; in particular, S2 is a theory of arithme...
متن کاملNon-Archimedean Probabilities and Non-Archimedean Bayesian Networks
In the paper we consider non-Archimedean fuzziness and probabilities. The idea of non-Archimedean multiple-validities is that (1) the set of values for the vagueness and probability is uncountable infinite and (2) this set is not wellordered. For the first time the non-Archimedean logical multiple-validity was proposed in [13], [14]. We propose non-Archimedean fuzziness that is defined on an in...
متن کاملA Conservation Result concerning Bounded Theories and the Collection Axiom
We present two proofs, one proof-theoretic and one model-theoretic, showing that adding the ß ^-collection axioms to any bounded first-order theory R of arithmetic yields an extension which is V ̂ -conservative over R. Preliminaries. A theory of arithmetic R contains the nonlogic symbols 0, S, +, ■, and < . R may contain further nonlogical symbols; in particular S2 is a theory of arithmetic [1]....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1916
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1916-02764-9